rec{-}case($a$) of [] =$>$ $s$ $\mid$ $x$::$y$ =$>$ $z$.$t$($x$;$y$;$z$) \textbf{is Primitive}